Software bugs

Results: 1223



#Item
391Software testing / Error detection and correction / Software bugs / Abstract interpretation / Symbolic execution / Malware / Function / Hash function / Block cipher / Mathematics / Computing / Computer programming

Input Generation via Decomposition and Re-Stitching: Finding Bugs in Malware Juan Caballero Pongsin Poosankam

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2013-09-09 05:44:56
392Computer programming / Pointer / Dangling pointer / Stack buffer overflow / Memory safety / Address space layout randomization / Buffer overflow / C / Memory corruption / Computing / Software engineering / Software bugs

SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:27
393Software bug / Android / Software / Smartphones / Computing / Cloud clients

Characterizing and Detecting Performance Bugs for Smartphone Applications Yepang Liu1, Chang Xu2, and S.C. Cheung1 1The 2State

Add to Reading List

Source URL: sccpu2.cse.ust.hk

Language: English - Date: 2014-06-09 22:11:43
394Data types / List / Cons / Programming language / Lisp / Type system / Pointer / ALGOL 68 / Reference / Software engineering / Computing / Computer programming

Catching Bugs in the Web of Program Invariants Cormac Flanagan Matthew Flatt Shriram Krishnamurthi

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:47:15
395Computing / Computer network security / Hacking / Software bugs / Application security / Vulnerability / Penetration test / Attack patterns / Secure coding / Software testing / Computer security / Cyberwarfare

White paper The Evolution of a Taxonomy: Ten Years of Software Security HP Security Research

Add to Reading List

Source URL: www.hpenterprisesecurity.com

Language: English - Date: 2015-04-01 08:31:14
396Object-oriented programming / Virtual method table / Data types / Software bugs / Select / Pointer / Buffer overflow protection / Dynamic-link library / Fortran / Computing / Software engineering / Computer programming

VTint: Protecting Virtual Function Tables’ Integrity Chao Zhang∗ , Chengyu Song‡ , Kevin Zhijie Chen∗ , Zhaofeng Chen† , Dawn Song∗ ∗ University of California, Berkeley {chaoz, kevinchn, dawnsong}@cs.berkel

Add to Reading List

Source URL: www.internetsociety.org

Language: English - Date: 2015-02-07 13:00:50
397Microsoft Windows / Debugging / Software bugs / Windows Error Reporting / Windows Mobile / Winqual / Blue Screen of Death / Core dump / Fatal system error / Computing / Computer errors / Computer programming

Debugging in the (Very) Large: Ten Years of Implementation and Experience Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, and Galen Hunt Microso

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2009-10-16 13:49:31
398Cross-platform software / Software bugs / FindBugs / William Pugh / Debugging / Pointer / Java / Infinite loop / Computing / Computer programming / Software engineering

Improving Your Software Using Static Analysis to Find Bugs Brian Cole Reuven Lazarus David Hovemeyer ∗ Kristin Stephens

Add to Reading List

Source URL: faculty.ycp.edu

Language: English - Date: 2014-08-22 12:24:22
399Software engineering / Computing / Software design patterns / Software development / Debuggers / FindBugs / Software bug / Software testing / William Pugh

Introduction Bug Patterns Evaluation Conclusions Finding Bugs is Easy

Add to Reading List

Source URL: faculty.ycp.edu

Language: English - Date: 2014-08-22 12:24:22
400Bug tracking system / Diff / FindBugs / Computing / Software / Software bugs

Memories of Bug Fixes Sunghun Kim Kai Pan E. James Whitehead, Jr.

Add to Reading List

Source URL: www.cse.ust.hk

Language: English - Date: 2012-06-14 09:36:58
UPDATE